/**
 * Sencha GXT 3.1.0 - Sencha for GWT
 * Copyright(c) 2007-2014, Sencha, Inc.
 * licensing@sencha.com
 *
 * http://www.sencha.com/products/gxt/license/
 */
@def headerColor value('theme.tip.headerText.color');
@def headerSize value('theme.tip.headerText.size');
@def headerWeight value('theme.tip.headerText.weight');
@def headerFamily value('theme.tip.headerText.family');

@def messageColor value('theme.tip.messageText.color');
@def messageSize value('theme.tip.messageText.size');
@def messageWeight value('theme.tip.messageText.weight');
@def messageFamily value('theme.tip.messageText.family');

@def headerPadding value('theme.tip.headerPadding.toString');
@def messagePadding value('theme.tip.messagePadding.toString');

.heading {
  color: headerColor;
  font-size: headerSize;
  font-weight: headerWeight;
  font-family: headerFamily;
  padding: headerPadding;
}

.text {
  color: messageColor;
  font-size: messageSize;
  font-weight: messageWeight;
  font-family: messageFamily;
  padding: messagePadding;
}